formal liquidation